Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
481	Model Checking Using SMT and Theory of Lists Aleksandar Milicevic1 and Hillel Kugler2 1 Massachusetts Institute of Technology (MIT), Cambridge, MA, USA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Phase transition Infinite loop FO Theoretical computer science Mathematics Applied mathematics
482	CURRICULUM VITAE August 2014 Willem Conradie Visser Professor Computer Science Add to Reading List Source URL: www.cs.sun.ac.za Language: English - Date: 2014-09-18 08:45:52 Software development Java Pathfinder Software Logic in computer science Model checking Software verification Runtime verification Static program analysis Verification and validation Formal methods Software testing Theoretical computer science
483	Bor-Yuh Evan Chang http://www.cs.colorado.edu/∼bec/ + (phone) + (fax) Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2015-02-01 19:26:08 Principles of Programming Languages Formal methods Programming Language Design and Implementation Computing Formal verification Model checking SIGPLAN Program analysis Association for Computing Machinery Computer science George Necula
484	Research internship Petri net unfolding of biological networks Topic: Logic and Verification Location: MExICo project team, LSV, École Normale Supérieure de Cachan, Cachan, France (Head of LSV: Laurent Fribourg Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-10-11 13:18:54 Petri net Model checking Gene regulatory network Petri Actor model Computer science Computing Science Concurrency Networks Diagrams
485	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-20 11:47:47 Theoretical computer science Model checking C Constraint programming Electronic design automation Computing Software engineering Procedural programming languages
486	PDF Document Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2012-10-25 20:21:20 Symbol Uppaal Model Checker Model theory Models of computation Formal languages Automata theory Model checkers Model checking
487	PDF Document Add to Reading List Source URL: flux.cs.queensu.ca Language: English - Date: 2014-10-30 17:26:17 Software engineering Computing Theoretical computer science Formal methods UML diagrams Model checking Finite-state machine ALGOL 68 UML state machine Models of computation Automata theory Digital electronics
488	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:08:24 Scheduling algorithms Threads Models of computation Scheduling Unbounded nondeterminism Model checking Monitor Multithreading Non-blocking algorithm Computing Concurrent computing Concurrency
489	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) A Loop Acceleration Technique to Speed Up Verification of Automatically-Generated Plans Robert P. Goldman and Michael J.S. Pelican an Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2013-06-12 10:51:30 Applied mathematics Computer science Model checking Formal verification Finite-state machine Deterministic finite automaton Automated planning and scheduling Uppaal Model Checker Clock Models of computation Automata theory Theoretical computer science
490	Discussion Article Rejoinder Andrew GELMAN I appreciate Buja’s generous comments and will briefly clarify some issues regarding the role of data visualization in model checking, and the relevance of Bayesian inference Add to Reading List Source URL: stat.wharton.upenn.edu Language: English - Date: 2007-10-12 17:48:09 Statistical inference Statistical theory Data analysis Scientific method Mixture model Graphical model Bayesian inference Regression analysis Quasi-likelihood Statistics Bayesian statistics Statistical models

UPDATE